1. Discrete mathematics
پدیدآورنده : Gallier, Jean H., Jean Gallier
موضوع : ، Mathematics,، Computer vision,، Number theory,، Engineering design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Discrete mathematics
Author: Gallier, Jean H.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics,، Computer vision,، Number theory,، Engineering design
Classification :
QA
76
.
9
.
M35G25
3. Geometric methods and applications
Author: Jean H. Gallier
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Gemetry
Classification :
QA
,
445
,.
G345
4. Geometric methods and applications : for computer science and engineering
Author: Gallier, Jean H.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Textbooks ، Geometry
Classification :
QA
445
.
G345
2011
5. Geometric methods and applications : for computer science and engineering
Author: Gallier, Jean H.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Geometry
Classification :
QA
445
.
G25
6. Geometric methods and applications : for computer science and engineering
Author: Gallier, Jean H.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Textbooks ، Geometry
Classification :
QA
445
.
G345
2011
7. Logic for computer science:foundations of automatic theorem
Author: GALLIER,JEAN H
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
9
.
A96
G35
8. Logic for computer science : foundations of automatic theorem proving
Author: Gallier, Jean H.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
G35
9. Logic for computer science : foundations of automatic theorem proving
Author: Gallier, Jean H
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
G35
1986
